王小明[陝西師範大學計算機科學學院教授]

王小明，1964年出生於甘肅省天水市。2005年在西北大學取得計算機理論和軟體方面的博士學位，現在陝西師範大學計算機科學學院任教授，博士生導師。

人物經歷

2005年在西北大學取得計算機理論和軟體方面的博士學位，現在陝西師範大學計算機科學學院任教授，博士生導師。2007年9月至2008年9月在美國喬治亞大學訪問學者。現為中國計算機學會高級會員，開放與並行專委會委員, 陝西師範大學學術委員會委員，陝西師範大學學報編委，陝西省計算機學會理事。

主講課程

主講有本科生課程《算法分析與設計》，研究生課程《複雜系統的計算機建模和模擬》、《無線感測網路》和《訪問控制的原理和方法》等。

研究方向

網路安全(network security)

訪問控制(access control)

普適計算(pervasive computing)

無線感測網路(wireless sensor network)

工作流管理系統(workflow management system)

系統動力學(system dynamics)

主要貢獻

[1] Xiaoming Wang, Qiaoliang Li, Yingshu Li. The system dynamics model for worm propagation in wireless sensor networks, Journal of Combinatorial Optimization, (online), 2009.

[2] Xiaoming Wang, Yingshu Li. A improved SIRS model for worm propagation in wireless sensor networks, Chinese Journal of Electronics, Vol. 18, No. 1: 8-12, 2009.

[3] Xiaoming Wang, Qiaoliang Li, Yi Pan. ACO based routing algorithm for wireless sensor networks. Lecture Notes in Computer Science, Vol. 5258: 109–120, 2008. (EI檢索)

[4] Xaoming Wang. A Regular Fuzzy Tree Grammar and Its Application, Journal of Electronics, Vol. 15, No. 2: 193-197, 2007. (SCI, EI檢索)

[5] Xiaoming Wang，Zongtao Zhao. Service oriented Access Control Model, Chinese Journal of Electronics, Vol. 14, No. 1: 37-40, 2006. (SCI, EI檢索)

[1] 王小明, 趙宗濤. 基於角色的時態對象存取控制模型.電子學報，Vol. 33, No. 9：1634-1638, 2005. (Ei檢索)

[2] 王小明，趙宗濤，郝克剛. 工作流系統帶權角色與周期時間訪問控制模型. 軟體學報，Vol.14, No.11：1841-1848, 2003. (Ei檢索)

[3] 王小明，趙宗濤. 基於承諾-擔保的訪問控制模型.電子學報，Vol. 31, No. 8：1150-1154, 2003. (Ei檢索)

[4] 王小明，趙宗濤, 馬建峰. 一種新的RBAC角色協同關係及其Petri網模型.電子學報，Vol. 31, No.2: 225-228, 2003. (Ei檢索). 王小明，趙宗濤. 基於承諾-擔保的訪問控制模型，電子學報，2003(8),1150-1154.(Ei檢索)

發表學術論文40餘篇，出版專著2部，主編並出版教材1部。主持或參加省部級和國家級科研項目4項。

獲獎記錄

2001年獲"甘肅省電子信息技術套用推廣一等獎。